翻訳と辞書
Words near each other
・ cage
・ cai
・ cairo
・ cais
・ cais-a
・ caise
・ cajole
・ cal
・ calc
・ calculator
calculus of communicating systems
・ calendar api
・ calendar application programming interface
・ caliban
・ calico
・ california state university san marcos
・ call unix
・ call-by-name
・ call-by-need
・ call-by-reference


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

calculus of communicating systems : FOLDOC
Calculus of Communicating Systems
(CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in {behaviour expressions syntax} denotes a process behaviour. Programs can be compared using the notion of observational equivalence.
["A Calculus of Communicating Systems", LNCS 92, Springer 1980].
["Communication and Concurrency", R. Milner, P-H 1989].
(1994-11-29)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.